recursion theorem перевод
Перевод
Мобильная
- мат. теорема о рекурсии
- recursion: 1) _мат. рекуррентная формула, рекуррентное соотношение2) _лог. рекурсия
- theorem: 1) теорема Ex: by theorem по теореме Ex: reciprocal theorem обратная теорема Ex: to prove the theorem доказать теорему2) _редк. выражать посредством или в форме теоремы
- bar recursion: лог. бар-рекурсия
- bcfw recursion: BCFW-рекурсия
- conditional recursion: мат. условная рекурсия
- courseofvalues recursion: course-of-values recursionмат. возвратная рекурсия
- definition by recursion: рекурсивное определение
- double recursion: двойная рекурсия
- limited recursion: мат. ограниченная рекурсия
- multiple recursion: мат. многократная рекурсия
- mutual recursion: Взаимная рекурсия
- nested recursion: мат. рекурсия со вставками
- normal recursion: мат. нормальная рекурсия
- potential recursion: потенциальная рекурсия
- primitive recursion: примитивная рекурсия
Примеры
- Quines are possible in any Turing complete programming language, as a direct consequence of Kleene's recursion theorem.
Куайны возможны в любом тьюринг-полном языке программирования — как следствие теоремы Клини о рекурсии. - On the other hand, some sources prefer to use a restricted Recursion Theorem that applies only to the set of natural numbers.
С другой стороны, в некоторых источниках предпочитают использовать ограниченную Рекурсионную теорему, которая применяется только к множеству натуральных чисел.